1. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
2. A description of 'aspectual' phenomena in Arabic
Author: Sitrak, Sami J.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: PJ6131.S5 ; Arabic language--Morphology
3. A first journey through logic /
Author: Martin Hils, François Loeser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
Classification :
QA9
.
H52445
2019
4. An introduction to independence for analysts
Author: Dales, H. G.)Harold G.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
Classification :
QA
9
.
7
.
D35
1987
5. An introduction to independence for analysts
Author: Dales, H. G.)Harold G.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
Classification :
QA
9
.
7
.
D35
1987
6. Boolean-valued models and independence proofs in set theory
Author: Bell, John Lane
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Axiomatic set theory►Independence (Mathematics)►Algebra, Boolean►Model theory
Classification :
248
.
B44
1985
7. Combinatorial set theory of C*-algebras
Author: Ilijas Farah
Library: Library of College of Science University of Tehran (Tehran)
Subject: C*-algebras,a03,Combinatorial set theory
Classification :
QA326
8. Constructible sets with applications
Author: / A. Mostowski
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Axiomatic set theory,Model theory
Classification :
512
.
817
Mo-C
9. Decision Theory Models of Information and Consideration
Author: Lleras, Juan Sebastian
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
10. Equilibrium, markets and dynamics :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
HB145
.
E685
2013
11. Feferman on foundations :
Author: Gerhard Jäger, Wilfried Sieg, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
Classification :
QA9
.
2
12. Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974.
Author: Malinowski, Grzegorz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
Q174
.
M355
2013
13. Fuzzy Logic :
Author: W Leinfellner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
14. Introduction to mathematical logic /
Author: Elliott Mendelson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M4
2010
15. Intuitionistic logic, model theory and forcing
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model theory,Axiomatic set theory,Forcing (Model theory)
Classification :
QA
9
.
F56
16. Intuitionistic logic, modlel theory and forcing
Author: / Melvin Chris Fitting
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Model theory,Axiomatic set theory
Classification :
511
.
8
F547
17. Jevons, Debreu and the foundations of mathematical economics :
Author: Cheix, Mathilde
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chicago school of economics--History,HB99.C4
18. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
19. Models and measurement of welfare and inequality.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
HB846
.
M634
2013
20. Outline of mathematical logic :
Author: Andrzej Grzegorczyk
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
A537
2013
